Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
231	Evaluating and Managing Fragmentation, Overlap, and Duplication GAO-15-49SP Tip Sheet 4: Information on and Resources for Designing Evaluations Step 3 of this guide states that analysts should conduct a new evaluation i Add to Reading List Source URL: gao.gov Language: English - Date: 2015-04-14 08:58:07 Science Impact assessment Program evaluation Logic model Performance measurement Systems engineering process Impact evaluation Empowerment evaluation Evaluation Evaluation methods Sociology
232	Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2 Add to Reading List Source URL: proteancode.com Language: English - Date: 2014-10-28 11:02:53 Formal methods Logic in computer science Ada programming language Automated theorem proving SPARK Formal verification Isabelle Proof assistant Static program analysis Theoretical computer science Computing Applied mathematics
233	A NATIONAL RESOURCECENTER GUIDE FOR FOREARLY HEARING Add to Reading List Source URL: infanthearing.org Language: English - Date: 2015-03-06 23:38:50 Methodology Program evaluation Logic model Maternal and Child Health Bureau Screening Early childhood intervention Empowerment evaluation Impact evaluation Evaluation Evaluation methods Sociology
234	Microsoft Word - evaluation guidance document.doc Add to Reading List Source URL: www.drugmisuse.isdscotland.org Language: English Methodology Logic model Impact evaluation Program evaluation Evaluation methods Evaluation Sociology
235	Evaluation News - June 2011 Add to Reading List Source URL: www.bja.gov Language: English - Date: 2012-02-27 09:08:54 United States Department of Justice Science Impact assessment Drug rehabilitation Bureau of Justice Assistance Drug court Logic model Program evaluation Center for Court Innovation Evaluation Evaluation methods Ethics
236	LNCSSpecifying Compositional Units for Correct Program Development in Computational Logic Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-06-15 05:19:36 Mathematical logic Functions and mappings Metalogic Differential topology Interpretation Structure Function Embedding Sheaf Mathematics Model theory Topology
237	Form B International Environmental Leadership Program (IELP) Graduate School of Environmental Studies, Tohoku University RECOMMENDATION LETTER IELP 2015 Add to Reading List Source URL: www.kankyo.tohoku.ac.jp Language: English - Date: 2015-03-30 23:18:08 Reference Analytic philosophy Logic Graduate school Tohoku University
238	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
239	TAPASHigh Performance Static Analysis for Industry Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson and Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 17:52:54 Formal methods Software testing Program analysis Logic in computer science Procedural programming languages Static program analysis Vulnerability Model checking Abstract interpretation Computing Software engineering Computer programming
240	Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:14 Computing Mathematics Data integrity Control flow Hoare logic Data management Program logic Computer programming Invariant

UPDATE